61. Fairness
پدیدآورنده: Francez, Nissim.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F7226
1986
62. Fairness
پدیدآورنده: FRANCEZ,NISSIM
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES )ELECTRONIC , PARALLEL PROCESSING
رده :
QA
76
.
6
.
F7226
63. Fairness
پدیدآورنده: / Nissim Francez
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)
رده :
QA
76
.
6
.
F7226
1986
64. Flow analysis of computer programs
پدیدآورنده: Hecht, Matthew S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4
65. Formal description technique
پدیدآورنده: / edited by K.R. Parker, G.A. Rose
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
66. Formal description techniques, II
پدیدآورنده: / Edited by Son T. Vuong
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
67. Formal description techniques III
پدیدآورنده: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
68. Formal specification and software development
پدیدآورنده: Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
69. Foundations of programming languages
پدیدآورنده: Kent D. Lee
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
L43F6
2017
70. From Point to Pixel:
پدیدآورنده: Hoy, Meredith Anne
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
71. Funamrntal concepts of programming systems
پدیدآورنده: Ullman, Jeffriy D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
U44
72. Functional Programming: Languages, Tools and Architectures
پدیدآورنده: Editor S. Eisenbach
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic digital computers- Programming
رده :
QA
،
76
.
6
،.
F86
،
1987
73. Fundamental concepts of programming systems
پدیدآورنده: Ullman, Jeffrey D., 1942-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Electronic digital computers -- Programming►Programming languages (Electronic computers)
رده :
76
.
6
.
U44
74. Fundamental concepts of programming systems
پدیدآورنده : Ullman , Jffrey d
موضوع : ، Electronic digital computers - programming,، Programming languages ) electronic computers(
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
75. HOPL III
پدیدآورنده: sponsored by ACM SIGPLAN ; in-cooperation with ACM SIGSOFT.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- History, Congresses.
76. Handbook on parallel and distributed processing
پدیدآورنده: edited by Jacek Blazewicz [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing -- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
E358
2011
77. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
78. High-level language computer architecture
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(,، Electronic digital computers-- Design and construction
رده :
QA
76
.
6
.
H53
79. High-level language computer architecture
پدیدآورنده: / edited by Yaohan Chu
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Programming languages (Electronic computers),Electronic digital computers -- Design and construction
رده :
QA
76
.
6
.
H53
80. High-level language computer architecture
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Electronic digital computers -- Programming►Programming languages (Electronic computers)►Electronic digital computers -- Design and construction
رده :
76
.
6
.
H53
